Veröffentlichungen

1. Beatrice Amrhein. Aspects of universal algebra in combinatory logic. In Erwin Engeler, editor, The Combinatory Programme , pages 31-45. Birkhäuser, 1995.
2. Beatrice Amrhein, Oliver Gloor, and Wolfgang Küchlin. A case study of multi-threaded Gröbner basis completion. In Lakshmann Y. N., editor, Proc. 1996 International Symposium on Symbolic and Algebraic Computation: ISSAC'96 , pages 95-102, Zurich, Switzerland, July 24-26 1996. ACM Press.
3. Beatrice Amrhein, Oliver Gloor, and Wolfgang Küchlin. Experiments with the Gröbner Walk. Technical Report WSI-96-15, W.-Schickard-Institut für Informatik, Universität Tübingen, 1996.
4. Beatrice Amrhein, Oliver Gloor, and Wolfgang Küchlin. How fast does the Walk run? In A. Carrière and L. R. Oudin, editors, 5th Rhine Workshop on Computer Algebra , pages 8.1-8.9, Saint-Louis, France, April 1996. ISL.
5. Beatrice Amrhein, Oliver Gloor, and Wolfgang Küchlin. Walking faster. In Jacques Calmet and Carla Limongelli, editors, Design and Implementation of Symbolic Computation Systems volume 1128 of LNCS , pages 150-161, Karlsruhe, Germany, September 1996. Springer-Verlag.
   1
   Tilmann Bubeck, Wolfgang Küchlin, and Wolfgang Rosenstiel. Symmetric distributed computing with dynamic load balancing and fault tolerance. In Boleslaw Szymanski and Balaram Sinharoy, editors, Proc. 3rd Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers , pages 325-328, Troy, NY, September 1995. Kluwer.

   Tilmann Bubeck, Martin Hiller, Wolfgang Küchlin, and Wolfgang Rosenstiel. Distributed symbolic computation with DTS. In Afonso Ferreira and José Rolim, editors, Parallel Algorithms for Irregularly Structured Problems, 2nd Intl. Workshop, IRREGULAR'95 , volume 980 of LNCS , pages 231-248, Lyon, France, September 1995.

   Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin. Parallel ReDuX PaReDuX. In Jieh Hsiang, editor, Rewriting Techniques and Applications, 6th Intl. Conf., RTA-95 , volume 914 of LNCS , pages 408-413, Kaiserslautern, Germany, April 1995. Springer-Verlag.

   Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin. A master-slave approach to parallel term rewriting on a hierarchical multiprocessor. In Jacques Calmet and Carla Limongelli, editors, Design and Implementation of Symbolic Computation Systems volume 1128 of LNCS , pages 183-194, Karlsruhe, Germany, September 1996. Springer-Verlag.

   Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin. Strategy compliant multi-threaded term completion. J. Symbolic Computation , 21(4-6):475-505, 1996.

   Reinhard Bündgen and Wolfgang Küchlin. Term rewriting as a tool for hardware and software design. In J. Rozenblit and K. Buchenrieder, editors, Codesign: Computer-Aided Software / Hardware Engineering , chapter 1, pages 19-40. IEEE Press, 1995.

   Reinhard Bündgen, Wolfgang Küchlin, and Werner Lauterbach. Verification of the Sparrow processor. In Proc. 1996 IEEE Symp. and Workshop on Engineering of Computer-Based Systems , pages 86-93, Friedrichshafen, Germany, March 1996. IEEE Computer Society Press.

   Reinhard Bündgen, Werner Lauterbach, and Wolfgang Küchlin. A license to fly: Verifying the Sparrow-0 processor. Technical Report WSI-95-4, Informatik, Universität Tübingen, D-72076 Tübingen, 1995.

   Alfons Geser. An improved general path order. J. AAECC , 7(6):469-511, 1996.

   Alfons Geser. On normalizing, non-terminating one-rule string rewriting systems. Technical Report WSI 96-34, Wilhelm-Schickard-Institut, Universität Tübingen, Germany, October 1996.

   Oliver Gloor, Beatrice Amrhein, and Roman E. Mäder. Illustrated Mathematics: Visualization of Mathematical Objects with Mathematica Telos, 1995. ISBN 0-387-14222-3.

   Manfred Göbel. Computing bases for permutation-invariant polynomials. J. Symbolic Computation , 19:285-291, 1995.

   Manfred Göbel. Computing Bases for Permutation-Invariant Polynomials PhD thesis, Universität Tübingen, 1996.

   Manfred Göbel. Symideal Gröbner bases. In Harald Ganzinger, editor, Rewriting Techniques and Applications, 7th Intl. Conf., RTA-96 , volume 1103 of LNCS , pages 48-62, New Brunswick, NJ, July 1996. Springer-Verlag.

   Martin Hiller. Verteiltes symbolisches Rechnen mit PARSAC-2. Technical Report WSI-95-11, W.-Schickard-Institut für Informatik, Universität Tübingen, 1995.

   Wolfgang Küchlin and Beatrice Amrhein. Parallel computer algebra on the desk-top. In Electronic Proc. IMACS'95 , Albuquerque, NM, 1995.
   http://math.unm.edu/ACA/1995/Proceedings .

   Wolfgang W. Küchlin. PARSAC-2: Parallel computer algebra on the desk-top. In J. Fleischer, J. Grabmeier, F. Hehl, and W. Küchlin, editors, Computer Algebra in Science and Engineering pages 24-43, Singapore, 1995. World Scientific.

   Roman Maeder, Beatrice Amrhein, and Oliver Gloor. Illustrated mathematics: Visualization of mathematical objects. Mathematica in Education and Research , 4(3):5-11, 1995.

   Patrick Maier, Manfred Göbel, and Reinhard Bündgen. A multi-threaded unfailing completion. Technical Report WSI 95-06, W.-Schickard-Institut für Informatik, Universität Tübingen, D-72076 Tübingen, 1995.

   Manfred P. H. Wolff, Christoph Richard, and Oliver Gloor. Analysis Alive. In Wolfgang W. Küchlin, editor, The ISSAC'96 Poster Session Abstracts , pages 99-102, Zurich, Switzerland, July 24-26 1996. ETH.

   Wolfgang W. Küchlin. Betriebssysteme I. Sequentielle und eng gekoppelte parallele Systeme. Technical report, Wilhelm-Schickard-Institut, Universität Tübingen, D-72076 Tübingen, 1995. (Skriptum zur Vorlesung).

   Wolfgang W. Küchlin. Informatik I. Programmierkonzepte. Eine objektorientierte Einführung mit C++. Technical Report WSI-95-16, Wilhelm-Schickard-Institut, Universität Tübingen, D-72076 Tübingen, 1995. (Skriptum zur Vorlesung).

   Wolfgang W. Küchlin. Betriebssysteme II. Verteilte Systeme. Technical report, Wilhelm-Schickard-Institut, Universität Tübingen, D-72076 Tübingen, 1996. (Skriptum zur Vorlesung).

   Wolfgang W. Küchlin. Informatik II. Vom Programm zur Maschine. Eine objektorientierte Einführung mit C++. Technical report, Wilhelm-Schickard-Institut, Universität Tübingen, D-72076 Tübingen, 1996. (Skriptum zur Vorlesung).